⏱ Interval Parsing Grammars - matmat · Scour

Implicit Representations of Grammaticality in Language Models 🌲Parse Trees

Relational modeling and APL ⁑ Dercuano 📊APL Heritage

dercuano.github.io·2d·Lobsters

Applying formal grammars in a custom programming language 📐Format Grammars

youtu.be·4d·r/programming

DieSeL: Why Raku Grammars? 📝Concrete Syntax

rakujourney.wordpress.com·3d

Distributional Learning of Context-Free Languages under Fixed Finite-Monoid Typing 🌳Context free grammars

Self-Consolidating Language Models: Continual Knowledge Incorporation from Context 🤖Grammar Induction

Rethinking Dense Sequential Chains: Reasoning Language Models Can Extract Answers from Sparse, Order-Shuffling Chain-of-Thoughts 🧮Prolog Parsing

SMT-Based Active Learning of Weighted Automata 🧮SMT Solvers

Revisiting Graph-Tokenizing Large Language Models: A Systematic Evaluation of Graph Token Understanding 📝Parsing Grammars

A Theory of Online Learning with Autoregressive Chain-of-Thought Reasoning 🌊Streaming Algorithms

Learning Tree Automata with Term Rewriting 🌳Context free grammars

ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning ⏱️Interval Parsing

Bounded Fitting for Expressive Description Logics 🌳Context free grammars

A Foundation Model for Zero-Shot Logical Rule Induction 🌳Context free grammars

Instance and Universally Optimal Bounds for Imprecise Pareto Fronts 🧮Kolmogorov Bounds

Theoretical Limits of Language Model Alignment 🧮Kolmogorov Complexity

Probing Structural Mathematical Reasoning in Language Models with Algebraic Trapdoors 🌳Context free grammars

Memory-Efficient Looped Transformer: Decoupling Compute from Memory in Looped Language Models 🌳Context free grammars

CktFormalizer: Autoformalization of Natural Language into Circuit Representations 🌳Context free grammars

The Impossibility Triangle of Long-Context Modeling 🧮Kolmogorov Complexity

Log in to enable infinite scrolling